1. Automated Deduction -- CADE-12 :
پدیدآورنده : edited by Alan Bundy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
2. Diamond :
پدیدآورنده : N.S. Hellerstein.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Paradox.,Logic, Symbolic and mathematical.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Paradox.
رده :
QA9
.
H396
2010eb
3. Introduction to metamathematics
پدیدآورنده : Kleene, Stephen Cole, 9091-4991
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Metamathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
8
.
K54
1971
4. Logic, semantics, metamathematics
پدیدآورنده : Tarski, Alfred
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Semantics )Philosophy(
رده :
BC
135
.
T35
5. Logic, semantics, metamathematics :
پدیدآورنده : by Alfred Tarski ; translated by J.H. Woodger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Semantics (Philosophy),Logique symbolique et mathématique.,Sémantique (Philosophie),Formale Semantik,Formale Semantik.,Logic, Symbolic and mathematical.,Logica.,Mathematische Logik,Mathematische Logik.,Metamathematica.,Semantics (Philosophy),Semantiek.
رده :
BC135
.
T35
1983
6. Logic, semantics, metamathematics :papers from 1923 to 1938
پدیدآورنده : Tarski, Alfred.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Logic, Symbolic and mathematical,، Semantics )Philosophy(
رده :
BC135
.
T35
1983
7. Logic, semantics, metamathematics: papers from 1923 to 1938
پدیدآورنده : Tarski, Alfred.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical,Semantics )Philosophy(
رده :
BC
135
.
T35
8. Metamathematics of Fuzzy Logic
پدیدآورنده : by Petr Hájek.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
9. The collected papers of Gerhard Gentzen.
پدیدآورنده : Edited by M. E. Szabo
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Metamathematics
رده :
QA9
.
G329
10. Thinking about G?del and Turing
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : G?del's theorem. ; Incompleteness theorems. ; Logic, Symbolic and mathematical. ; Metamathematics. ; Computational complexity. ;
11. Undecidable theories
پدیدآورنده : / by Alfred Tarski
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Metamathematics,Logic, Symbolic and mathematical
رده :
E-BOOK
